Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
311	A LINEAR ATTACK ON A KEY EXCHANGE PROTOCOL USING EXTENSIONS OF MATRIX SEMIGROUPS JINTAI DING, ALEXEI MIASNIKOV, AND ALEXANDER USHAKOV Abstract. In this paper we analyze the Kahrobaei-Lam-Shpilrain (KLS) key exchange prot Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-14 17:20:26 Inverse element Linear temporal logic Group theory Semidirect product Symbol
312	[removed]Calculus of Variations Tomáš Roubíˇcek Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2014-11-17 04:42:49 Theoretical physics Mathematics Differential geometry Linear temporal logic Mathematical logic Hahn–Banach theorem Mathematical analysis Operator theory Calculus of variations
313	An Approximation Algorithm for Continuous LMPs Alexandre Bouchard-Cˆot´e April 7, 2005 The goal of this presentation: examine the main topics of LMP theory and discuss their algorithmic contents. In particular, a rando Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:16 Mathematical logic Computability theory Hypergeometric functions Μ operator Linear temporal logic Mathematics Functions and mappings Function
314	Painless Unsupervised Learning with Features Taylor Berg-Kirkpatrick Alexandre Bouchard-Cˆot´e John DeNero Dan Klein Computer Science Division University of California at Berkeley Berkeley, CA 94720 Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:29 Logic Linear temporal logic Diagonal lemma Constructible universe Mathematical logic Mathematics
315	Prior-based Segmentation and Shape Registration in the Presence of Perspective Distortion Tammy Riklin-Raviv † Nahum Kiryati Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2006-06-26 12:31:22 Collineation Segmentation Static single assignment form Interpretation Mathematics Logic Linear temporal logic Golden ratio base Geometry Limit Calculus of variations
316	c 2001 Society for Industrial and Applied Mathematics SIAM J. SCI. COMPUT. Vol. 22, No. 6, pp. 2093–2108 Add to Reading List Source URL: www.math.nyu.edu Language: English - Date: 2006-01-22 02:32:06 Mathematics Multipole expansion Vector calculus Symbol Spherical harmonics Multipole moment Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Calculus Potential theory
317	Model-Based Usage Control Policy Derivation Prachi Kumari and Alexander Pretschner Technische Universit¨ at M¨ unchen, Germany {kumari, pretschn}@cs.tum.edu Add to Reading List Source URL: www22.in.tum.de Language: English - Date: 2013-05-29 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Structure Golden ratio Entailment Linear temporal logic Logic Model theory Metalogic
318	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
319	Linear Dependent Types for Differential Privacy Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-11-01 13:29:12 Mathematical analysis Symbol Interpretation Golden ratio Structure Dynamical system Μ operator Linear temporal logic Mathematics Model theory Mathematical logic
320	Week 2 (due Oct. 17) Reading: Srednicki, sections 1 and[removed]Consider free nonrelativistic bosons (in Fock space formalism). (a) Compute the commutator of the creation and annihilation operators [Ψ(t, ~x), Ψ† (t′ Add to Reading List Source URL: www.theory.caltech.edu Language: English - Date: 2007-10-14 11:38:20 Quantum mechanics Μ operator Momentum operator Linear temporal logic Spectral theory of ordinary differential equations Physics Mathematical analysis Mathematics

UPDATE